THE ADVANTAGE OF A FORMAL LANGUAGE, BASED ON THE CONCEPT OF NONDETERMINISM, UNDER STRUCTURAL IMPLEMENTATION OF PARALLEL SYSTEMS OF LOGIC PROCESS AND RESOURCE CONTROL

Vashkevich Nikolay Petrovich, Doctor of engineering sciences, professor, sub-department of computer science,
Penza State University, vt@alice.pnzgu.ru
Biktashev Ravil Aynulovich, Candidate of engineering sciences, associate professor, sub-department of computer science, Penza State Technological Academy, bra559620@sura.ru 

50.03.03;50.09.47 

The article considers two approaches to resolving the stated problem, which are based on the use of results of determinisation of initial control algorithm (CA) and its parallel-serial decomposition for the subsets of incompatible and compatible private events realised in CA. According to results of such decomposition, the CA is realised either on the basis of parallel distributed SLC, or on the basis of one microprogram automatic machine with parallel performance of microoperations. 

nondeterministic automata, logical control algorithms, parallel decomposition, distributed systems, nanoinstructions.